CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 17 of 17 Results
1.
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G...
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G... by Apt, Krzysztof R., Olderog,... ISBN: 9783540574798 List Price: $38.00
$37.69
2.
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199...
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199... by Apt, Krzysztof R., Kakas, A... ISBN: 9783540678854 List Price: $69.95
$52.33 (Save 25%)
3.
Logic Programming Languages Constraints, Functions, and Objects
Logic Programming Languages Constraints, Functions, and Objects by Apt, Krzysztof R., De Bakke... ISBN: 9780262011341 List Price: $36.95

OUT OF STOCK

See Availability on Amazon
4.
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv...
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv... by Apt, Krzysztof R., Fages, F... ISBN: 9783540218340 List Price: $69.95
$52.33 (Save 25%)
5.
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827448 List Price: $89.95
$101.14
6.
Constraint Logic Programming Using Eclipse
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780521866286 List Price: $73.00
$73.87
7.
Lectures in Game Theory for Computer Scientists
Lectures in Game Theory for Computer Scientists by Apt, Krzysztof R., Grädel, ... ISBN: 9780521198660 List Price: $72.00
$89.77
8.
Logic Programming Paradigm A 25-Year Perspective
Logic Programming Paradigm A 25-Year Perspective by Apt, Krzysztof R., Marek, V... ISBN: 9783540654636 List Price: $81.95
$80.69 (Save 1%)
9.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827455

OUT OF STOCK

See Availability on Amazon
10.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475727159 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Logic Programming Paradigm
Logic Programming Paradigm by R Apt, Krzysztof, W Marek, ... ISBN: 9783642600869 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., De Boer,... ISBN: 9781848827462 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
13.
Logics and Models of Concurrent Systems
Logics and Models of Concurrent Systems by R Apt, Krzysztof ISBN: 9783642824548 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge by Apt, Krzysztof R. ISBN: 9781450307079 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
15.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475743777 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
16.
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra: His Life, Work, and Legacy by Apt, Krzysztof R., Hoare, Tony ISBN: 9781450397711
$82.98
17.
Constraint Logic Programming Using Eclipse
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780511345852

OUT OF STOCK

See Availability on Amazon